Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es Houston Automatic Spooling Program - definición
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
George Houston (painter)
BRITISH ARTIST (1869-1947)
George Houston (artist)
George Houston RSA, RI, RSW (20 January 1869 – 5 October 1947) was a Scottish artist. He was a prolific landscape painter, using both oil and watercolour.
William Houston
AMERICAN POLITICIAN (1746-1788)
William Churchill Houston; Houston, William
William Churchill Houston ( 1746 – August 12, 1788), a Founding Father of the United States, was a teacher, lawyer and statesman. Houston served as a delegate representing New Jersey in both the Continental Congress and Constitutional Convention.
Wikipedia
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
